Copied to
clipboard

G = C42.C23  order 128 = 27

1st non-split extension by C42 of C23 acting faithfully

p-group, metabelian, nilpotent (class 3), monomial, rational

Aliases: C42.1C23, C8⋊3D4⋊1C2, (C2×D4).27D4, (C2×Q8).27D4, C8⋊C4⋊1C22, C4⋊1D4⋊2C22, C2.24(D4⋊4D4), C24⋊C22⋊1C2, C4.4D4.6C22, C22.182C22≀C2, C42.C22⋊1C2, (C2×C4).214(C2×D4), 2-Sylow(PSL(3,4).C2), SmallGroup(128,387)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series
C1 — C42 — C42.C23
Chief series
C1 — C2 — C22 — C2×C4 — C42 — C4.4D4 — C24⋊C22 — C42.C23
Lower central
C1 — C22 — C42 — C42.C23
Upper central
C1 — C22 — C42 — C42.C23
Jennings
C1 — C22 — C22 — C42 — C42.C23

Generators and relations for C42.C23
 G = < a,b,c,d,e | a4=b4=c2=d2=e2=1, ab=ba, cac=dad=a-1, eae=a-1b2, cbc=ebe=b-1, dbd=a2b-1, dcd=ac, ece=bc, de=ed >

Subgroups: 416 in 131 conjugacy classes, 30 normal (6 characteristic)
C1, C2, C2, C4, C22, C22, C8, C2×C4, C2×C4, D4, Q8, C23, C42, C42, C22⋊C4, C2×C8, D8, SD16, C2×D4, C2×D4, C2×Q8, C24, C8⋊C4, C22≀C2, C4.4D4, C4.4D4, C4⋊1D4, C2×D8, C2×SD16, C42.C22, C8⋊3D4, C24⋊C22, C42.C23
Quotients: C1, C2, C22, D4, C23, C2×D4, C22≀C2, D4⋊4D4, C42.C23

Character table of C42.C23

 class 12A2B2C2D2E2F2G4A4B4C4D4E4F8A8B8C8D8E8F
 size 111188816444888888888
ρ111111111111111111111    trivial
ρ21111-1-11-1111-1-11-11-1111    linear of order 2
ρ31111-11-1-1111-11-11-111-11    linear of order 2
ρ411111-1-111111-1-1-1-1-11-11    linear of order 2
ρ51111-11-11111-11-1-11-1-11-1    linear of order 2
ρ611111-1-1-11111-1-1111-11-1    linear of order 2
ρ71111111-1111111-1-1-1-1-1-1    linear of order 2
ρ81111-1-111111-1-111-11-1-1-1    linear of order 2
ρ92222-2000-22-2200000000    orthogonal lifted from D4
ρ1022220200-2-220-20000000    orthogonal lifted from D4
ρ1122220-200-2-22020000000    orthogonal lifted from D4
ρ12222200-202-2-2002000000    orthogonal lifted from D4
ρ13222200202-2-200-2000000    orthogonal lifted from D4
ρ1422222000-22-2-200000000    orthogonal lifted from D4
ρ154-44-4000000000020-2000    orthogonal lifted from D4⋊4D4
ρ164-4-4400000000000200-20    orthogonal lifted from D4⋊4D4
ρ174-44-40000000000-202000    orthogonal lifted from D4⋊4D4
ρ1844-4-4000000000000020-2    orthogonal lifted from D4⋊4D4
ρ194-4-4400000000000-20020    orthogonal lifted from D4⋊4D4
ρ2044-4-40000000000000-202    orthogonal lifted from D4⋊4D4

Smallest permutation representation of C42.C23
►On 32 points
Generators in S32
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)

(1 19 13 5)(2 20 14 6)(3 17 15 7)(4 18 16 8)(9 24 27 30)(10 21 28 31)(11 22 25 32)(12 23 26 29)

(1 21)(2 24)(3 23)(4 22)(5 28)(6 27)(7 26)(8 25)(9 20)(10 19)(11 18)(12 17)(13 31)(14 30)(15 29)(16 32)

(1 15)(2 14)(3 13)(4 16)(6 8)(9 10)(11 12)(18 20)(21 32)(22 31)(23 30)(24 29)(25 26)(27 28)

(2 16)(4 14)(5 19)(6 8)(7 17)(9 32)(10 21)(11 30)(12 23)(18 20)(22 27)(24 25)(26 29)(28 31)
 
G:=sub<Sym(32)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,19,13,5)(2,20,14,6)(3,17,15,7)(4,18,16,8)(9,24,27,30)(10,21,28,31)(11,22,25,32)(12,23,26,29), (1,21)(2,24)(3,23)(4,22)(5,28)(6,27)(7,26)(8,25)(9,20)(10,19)(11,18)(12,17)(13,31)(14,30)(15,29)(16,32), (1,15)(2,14)(3,13)(4,16)(6,8)(9,10)(11,12)(18,20)(21,32)(22,31)(23,30)(24,29)(25,26)(27,28), (2,16)(4,14)(5,19)(6,8)(7,17)(9,32)(10,21)(11,30)(12,23)(18,20)(22,27)(24,25)(26,29)(28,31)>;
 
G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,19,13,5)(2,20,14,6)(3,17,15,7)(4,18,16,8)(9,24,27,30)(10,21,28,31)(11,22,25,32)(12,23,26,29), (1,21)(2,24)(3,23)(4,22)(5,28)(6,27)(7,26)(8,25)(9,20)(10,19)(11,18)(12,17)(13,31)(14,30)(15,29)(16,32), (1,15)(2,14)(3,13)(4,16)(6,8)(9,10)(11,12)(18,20)(21,32)(22,31)(23,30)(24,29)(25,26)(27,28), (2,16)(4,14)(5,19)(6,8)(7,17)(9,32)(10,21)(11,30)(12,23)(18,20)(22,27)(24,25)(26,29)(28,31) );
 
G=PermutationGroup([[(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32)], [(1,19,13,5),(2,20,14,6),(3,17,15,7),(4,18,16,8),(9,24,27,30),(10,21,28,31),(11,22,25,32),(12,23,26,29)], [(1,21),(2,24),(3,23),(4,22),(5,28),(6,27),(7,26),(8,25),(9,20),(10,19),(11,18),(12,17),(13,31),(14,30),(15,29),(16,32)], [(1,15),(2,14),(3,13),(4,16),(6,8),(9,10),(11,12),(18,20),(21,32),(22,31),(23,30),(24,29),(25,26),(27,28)], [(2,16),(4,14),(5,19),(6,8),(7,17),(9,32),(10,21),(11,30),(12,23),(18,20),(22,27),(24,25),(26,29),(28,31)]])
 

Matrix representation of C42.C23 ►in GL8(𝔽17)

00100000
00010000
160000000
016000000
00000010
0000116115
00001000
00000001
,
01000000
10000000
00010000
00100000
00000100
000016000
0000116115
000010116
,
99890000
99980000
89880000
98880000
0000161161
000010016
0000016016
0000160161
,
160000000
01000000
00100000
000160000
000016000
00000100
000000160
0000160161
,
10000000
01000000
001600000
000160000
00001000
000001600
000000160
000001161

G:=sub<GL(8,GF(17))| [0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,16,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,15,0,1],[0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,16,1,1,0,0,0,0,1,0,16,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,15,16],[9,9,8,9,0,0,0,0,9,9,9,8,0,0,0,0,8,9,8,8,0,0,0,0,9,8,8,8,0,0,0,0,0,0,0,0,16,1,0,16,0,0,0,0,1,0,16,0,0,0,0,0,16,0,0,16,0,0,0,0,1,16,16,1],[16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,16,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,16,0,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,0,1,0,0,0,0,0,0,16,16,0,0,0,0,0,0,0,1] >;
 

C42.C23 in GAP, Magma, Sage, TeX 

C_4^2.C_2^3
 
% in TeX
 
G:=Group("C4^2.C2^3");
 
// GroupNames label
 
G:=SmallGroup(128,387);
 
// by ID
 
G=gap.SmallGroup(128,387);
 
# by ID
 
G:=PCGroup([7,-2,2,2,-2,2,-2,2,141,422,1123,570,521,136,3924,1411,998,242]);
 
// Polycyclic
 
G:=Group<a,b,c,d,e|a^4=b^4=c^2=d^2=e^2=1,a*b=b*a,c*a*c=d*a*d=a^-1,e*a*e=a^-1*b^2,c*b*c=e*b*e=b^-1,d*b*d=a^2*b^-1,d*c*d=a*c,e*c*e=b*c,d*e=e*d>;
 
// generators/relations
 

Export

Character table of C42.C23 in TeX

׿
×
⋊
ℤ
𝔽
○
≀
ℚ
◁